('a, 'e) => 'b;